(DEFPROP WORDI (NIL INW INT CLOSE) VALUE) (DEFPROP INW (LAMBDA NIL (PROG2 (INC T NIL) (ERRSET (MAKNUM (WORDIN (QUOTE WERR))) NIL) (INC NIL NIL))) EXPR) (DEFPROP INT (LAMBDA NIL (PROG2 (INC T NIL) (TYI) (INC NIL NIL))) EXPR) (DEFPROP CLOSE (LAMBDA NIL (INC T NIL) (INC NIL T)) EXPR)